Mimicking Behaviors in Separated Domains

نویسندگان

چکیده

Devising a strategy to make system mimic behaviors from another is problem that naturally arises in many areas of Computer Science. In this work, we interpret the context intelligent agents, perspective ltlf , formalism commonly used AI for expressing finite-trace properties. Our model consists two separated dynamic domains, DA and DB, an LTLf specification formalizes notion mimicking by mapping properties on (traces) into DB. The goal synthesize step-by-step maps every behavior DB so met. We consider several forms specifications, ranging simple ones full each, study synthesis algorithms computational

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extremal Basis, Geometrically Separated Domains and Applications

In this paper we introduce the notion of extremal basis of tangent vector fields at a boundary point of finite type of a pseudo-convex domain in Cn, n ≥ 3. Using this notion we define the class of geometrically separated domains at a boundary point and we give a description of their complex geometry. Examples of such domains are given, for instance, by locally convex domains, domains with local...

متن کامل

Extremal Bases, Geometrically Separated Domains and Applications

In this paper we introduce the notion of extremal basis of tangent vector fields at a boundary point of finite type of a pseudo-convex domain in C, n ≥ 3. Using this notion we define the class of geometrically separated domains at a boundary point and we give a description of their complex geometry. Examples of such domains are given, for instance, by locally lineally convex domains, domains wi...

متن کامل

Two-Point Microrheology of Phase-Separated Domains in Lipid Bilayers.

Though the importance of membrane fluidity for cellular function has been well established for decades, methods for measuring lipid bilayer viscosity remain challenging to devise and implement. Recently, approaches based on characterizing the Brownian dynamics of individual tracers such as colloidal particles or lipid domains have provided insights into bilayer viscosity. For fluids in general,...

متن کامل

Promoting Behaviors of Healthiness in two Domains of Physical Activity and Nutrition Statue in High School Students

Background Youth' healthiness depends on their hygiene behaviors. Doing promoting behaviors of healthiness is one of best ways of health protect and control. This study aimed to investigate promoting behaviors of healthiness in two physical activity and nutrition statue domains in high school students. Materials and Methods: The study was descriptive-analytic of cross-sectional type study whic...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Artificial Intelligence Research

سال: 2023

ISSN: ['1076-9757', '1943-5037']

DOI: https://doi.org/10.1613/jair.1.14591